time-bounded turing machine - Spanish English Dictionary